Перевод: со всех языков на русский

с русского на все языки

С русского на:
Все языки
Со всех языков на:
Все языки
Английский
Русский

effectively decidable predicate

Толкование Перевод

1 effectively decidable predicate

Математика: эффективно разрешимый предикат

Универсальный англо-русский словарь > effectively decidable predicate
2 effectively decidable predicate

эффективно разрешимый предикат

English-Russian scientific dictionary > effectively decidable predicate
3 decidable

разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно разрешимое отношение formally decidable formula ≈ формально разрешимая формула numeralwise decidable formula ≈ нумерически разрешимая формула numeralwise decidable function ≈ нумерически разрешимая функция numeralwise decidable predicate ≈ нумерически разрешимый предикат - completely decidable - decidable algebra - decidable arithmetic - decidable formula - decidable language - decidable predicate - decidable proposition - decidable relation - decidable sentence - decidable set - decidable statement - decidable system - decidable theor - effectively decidable - formally decidable - numeralwise decidable - partially decidable разрешимый - * set (математика) разрешимое множество

Большой англо-русский и русско-английский словарь > decidable
4 predicate

логика

1) предикат, сказуемое || предикатный

2) утверждение || утверждать

•

- algebraic predicate

- analytic predicate

- arithmetical predicate

- atomic predicate

- auxiliary predicate

- basic predicate

- binary predicate

- bounded predicate

- complement of predicate

- complete predicate

- completely defined predicate

- completely representable predicate

- computability predicate

- decidable predicate

- definable predicate

- derived predicate

- disjunctively definable predicate

- dyadic predicate

- effectively decidable predicate

- elementary predicate

- enumerable predicate

- equality predicate

- exhaustive predicate

- expressible predicate

- filtered predicate

- first-order predicate

- formula predicate

- generable predicate

- general recursive predicate

- higher-order predicate

- homomorphically stable predicate

- hyperarithmetical predicate

- individual predicate

- induction predicate

- invariant predicate

- irreducible predicate

- metamathematical predicate

- monadic predicate

- multiplace predicate

- multiplicatively stable predicate

- n-argument predicate

- n-ary predicate

- n-place predicate

- nullary predicate

- number-theoretic predicate

- numeralwise decidable predicate

- numeralwise expressible predicate

- numerical predicate

- one-place predicate

- partial predicate

- persistent predicate

- polynomial predicate

- positive-formula predicate

- positively calculable predicate

- predicate of predicates

- prime predicate

- primitive predicate

- primitive recursive predicate

- properly recursive predicate

- quasirecursive predicate

- recursively enumerable predicate

- representable predicate

- representing predicate

- resolvable predicate

- sameness predicate

- satisfying predicate

- saturable predicate

- second-order predicate

- semiarithmetical predicate

- semicomputable predicate

- singular predicate

- stable predicate

- strictly stable predicate

- strong predicate

- symmetric predicate

- total predicate

- triadic predicate

- truth predicate

- two-place predicate

- unary predicate

- undecidable predicate

- unitary predicate

- universal predicate

- variable predicate

- weakly representable predicate

English-Russian scientific dictionary > predicate
5 function

1) функция, действие || функционировать; действовать

- decision-making function
- essential functions - routine function - safety-related functions
2) функциональное назначение; роль

- auxiliary function
- circuit function - intrinsic function - metering function - primary function - robot function
- system function

3) функциональное подразделение ( предприятия)

- maintenance function
- planning function - service function - support function
4) функциональный узел ( машины)

- press function

5) матем. функциональная зависимость, функция

domain of a function — область определения функции, область изменения независимой переменной

function is periodic in — функция периодична по

function onto itself — отображение (функции) на себя

function vanishes — функция обращается в нуль

function with angular limit — функция с угловым пределом

function with vanishing derivative — функция с равной нулю производной

function without zeros — не обращающаяся в нуль функция

to be an explicit function of — зависеть явно от

to be an implicit function of — зависеть неявно от

- Abelian function

- absolute density function
- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function
- abstract function

- accuracy function

- acidity function

- acyclic function

- additive random function

- advanced function

- affect function

- affine function

- algebraically definable function

- algebroid function

- almost bounded function
- almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function
- alpha function

- alternating function

- ambiguous function

- analytically extended function
- analytically independent function - analytically representable function
- angle function

- antianalytic function

- antiholomorphic function

- antihyperbolic function

- antilinear function

- antiperiodic function

- antisymmetric function

- antitone function

- antitrigonometric function

- aperiodic function

- Appell function

- approximately continuous function
- approximately differentiable function
- arbitrary function

- arcus function

- area function

- arithmetical function

- arithmetically extensible function

- associated function

- asymmetric function

- asymptotic function

- asymptotical distribution function
- asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function
- atomic function

- attainability function

- autocovariance function

- autocovariance generating function

- automorphic function

- auxiliary function

- averaged function

- averaging function

- balayage function

- barrier function

- basis function

- behavioral function

- beta binomial function

- beta incomplete function

- biadditive function

- biaffine function

- bias function

- bicomplex function

- bicubic function

- biharmonic function

- biinvariant function

- bijective function

- bilinear function

- bimodal function

- bimultiplicative function

- binding function

- binomial distribution function

- binonlinear function

- biregular function

- biunique function

- bivariate function

- boundary characteristic function

- boundary characteristic function

- boundary function

- bounded above function
- bounded below function
- bounded function

- bracket function

- broad function

- broken-line function

- bulb function

- bump function

- canonical function

- canonically definable function

- capacity function

- carpeting function

- carrier function

- casino function

- causal function

- cellwise constant function
- cellwise continuous function
- centering function

- certain function

- chain function

- chance function

- chi-square function

- choice function

- chord function

- chromatic function

- circularly symmetric function
- circumferentially mean p-valent function
- class function

- close to convex function

- cluster function

- clutching function

- codimension function

- coefficient function

- coercive function

- cofinite function

- coherence function

- collapsing function

- color function

- combinatorial function

- combined function

- commutator function

- compact function

- compactly supported function

- compact-valued function

- comparative function
- comparison function - complementary error function
- complementary function

- complementary trigonometric function
- complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function
- complex-valued function

- complicated function

- component function

- composite function

- computably ambiguous function

- concave-convex function

- concentrated function

- concentration function

- concordant function

- conditional power function
- conditional risk function
- cone function

- confluent function

- confluent hypergeometric function

- congruence function

- conical function

- conjugate function

- connecting function

- consistent function

- constant-preserving function

- constrained function

- constraint function

- constructive function

- constructively nonrecursive function

- consumption function

- content function

- contiguous function

- continuously differentiable function

- continuum function

- contracting function

- contraction function

- contrast transfer function

- convergent function

- converse function

- convex-concave function

- cosecant function

- cosine function

- cospectral function

- cost function

- cosuperharmonic function

- cotangent function

- countably additive function
- countably multiplicative function - countably valued function
- counting function

- course-of-value function

- covariance function
- covariant function
- cramp function

- created function

- creating function

- criterion function

- critical function

- crosscorrelation function

- cross-covariance function

- cross-variance function

- cumulant function

- cumulant generating function
- cumulative distribution function - cumulative frequency function
- cup function

- curvilinear function

- cuspidal function

- cyclically monotone function

- cyclometric function

- cylinder function

- decay function

- decoding function

- decomposable function

- decomposing function

- defect function
- deficiency function
- deficient function

- degenerate function

- delta function

- denumerably-valued function

- dependence function

- depletion function

- derived function

- descriptive function

- design function

- determinate function

- diagonal function

- diagonalization function

- dibeta function

- difference function

- differential function

- digamma function

- dilogarithmic function

- dimensional function

- dimensionless function

- directing function

- discontinuous function

- discrete function

- discriminant function

- disjoined function

- dispersion function

- dissipative function

- distance function

- disturbing function

- ditonic function

- divergence-free vector function

- divergent function

- divisor function

- dominant function

- donor function

- don't care function
- double limit function
- double-spectral function

- double-valued function

- doubly orthogonal function
- doubly periodic function - doubly recursive function
- dual function

- dyadic function

- effective function

- effectively calculable function
- effectively computable function - effectively constant function - effectively decidable function - effectively variable function
- effectiveness function

- efficiency function

- elementarily recursive function
- elementarily symmetric function
- ellipsoidal function

- elliptic cylinder function

- empirical function

- empty function

- encoding function

- endogeneous function

- entire function of finite type
- entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function
- entropy function

- enumerating function

- enumeration function

- envelope function

- equal-ripple function

- equibounded function

- equilibrium function

- equivalence function

- essentially bounded function
- essentially increasing function - essentially integrable function - essentially real function - essentially smooth function
- estimable function

- estimating function

- everywhere continuous function
- everywhere differentiable function - everywhere smooth function
- excessive function

- excitation function

- exhaustion function

- expandable function
- expansible function
- expansion function

- expansive function

- expectation function

- expenditure function

- explicitly bounded function
- explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function
- extendable function

- extended function

- extensional function

- exterior function

- extremal function

- extremized function

- extremum function

- factor function

- factorable function

- factored function

- factorial function

- fatigue function

- feably oscillating function

- featureless function

- field function

- filter function

- filtration function

- final state function

- finitary function

- finite-dimensional function

- finitely additive function
- finitely mean valent function - finitely measurable function
- finite-path function

- fitted function

- flat function

- flow function

- force function

- forcing function

- forecast function

- formally ordered function

- fractional function

- frequency distribution function

- frequency function

- full function

- fully closed function

- function of a single variable
- function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order
- function of function

- function of high smoothness
- function of infinite type - function of integral order
- function of intervals

- function of matrix

- function of maximal growth
- function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable
- function of phase

- function of position

- function of random variable
- function of rapid descent - function of rapid growth - function of real variable
- function of set

- function of several complex variables

- function of singularities

- function of state

- function of support

- function of time

- function of transition

- function of two variables

- fundamental function

- fuzzy function

- gage function

- gage-like function

- game function

- general recursive function
- general universal function - geometric carrier function
- given function

- global defining function

- goniometric function

- grammatical function

- graph-valued function

- greatest-integer function

- group function

- group-reduction function

- growth function

- halo function

- harmonizable function

- height-gain function

- hemicylindrical function

- Herglotz function

- heuristic function

- higher function

- homographic function

- homology function

- homotopic function

- hyperanalytic function

- hyperarithmetical function

- hyperbolic cylinder function

- hypercomplex function

- hyperelliptic function

- hyperharmonic function

- hyperrank function

- hyperspherical function

- hypertranscendental function

- hypoanalytic function

- ideal function

- imaginary function

- immediate successor function
- implicitly definable function
- improper function

- impulse function

- inclusion function

- inclusive function

- incomplete beta function
- incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function
- increment function

- indecomposable function

- indefinite function

- index function

- indicial function

- individual function

- induced function

- inductive function

- inductively definable function
- inductively defined function - inductively integrable function
- infinite function

- infinitely differentiable function
- infinitely divisible function - infinitely many-valued function
- infinitesimal function

- information function

- information-packing function

- initial function

- injective function

- inner function

- input function

- insolvency function

- integrable function

- integral function of mean type
- integral logarithmic function
- integrating function

- intensity function

- interior function

- intermediary function

- interpolating function

- interpolatory function

- interval function

- inverse hyperbolic function
- inverse trigonometric function - inverted beta function
- invertible function

- irrational function

- irreducible function

- irregular function

- isotone function

- iterated function

- iteration function
- iterative function - joint correlation function - joint density function
- kernel function

- kinked function

- knapsack function

- lacunary function

- lambda function

- lattice function

- Lauricella function

- left-continuous function

- left-invariant function

- left-invertible function

- lexical function

- lifting function

- likelihood function

- limit of function

- limitable function

- limiting function

- linear discriminant function

- linearized function

- linearly dependent function
- linearly separable function
- local function

- locally analytic function

- locally approximable function
- locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function
- logarithmically concave function

- logarithmically convex function
- logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function
- logarithmico-exponential function

- logical addition function

- logical function

- logical multiplication function

- logistic function

- log-likelihood function

- loss-of-utility function

- lower closed function

- lower function

- lower measurable function
- lower semicontinuous function
- majorizing function

- many-valued function

- mapping function

- marginal distribution function

- mathematical function

- matrix function

- matrix-convex function

- maximal function

- mean-value function

- measurable function

- measure function

- measure-limited function

- mechanically computable function

- member function

- meromorphic function

- mesh function

- metaharmonic function

- metapragmatic function

- metasemantic function

- metaspherical function

- minimal function

- minimizing function

- minimum function

- minority function

- mixing function

- modified function

- modular function

- molecular set function

- moment generating function

- moment-generating function

- monochromatic function

- monodromic function

- monogenic function

- monomial function

- monomially alternating function
- monotone non-decreasing function - monotone non-increasing function
- monotonic function

- multiaffine function

- multiconstrained function

- multidimensional function

- multiextremal function

- multilinear function

- multiplace function

- multiple valued function

- multiplicity function

- multiplier function

- multiply harmonic function
- multiply periodic function - multiply recursive function
- multithreshold function

- multivalent function

- multivalued function

- multivariable function

- multivariant function

- mutual covariance function

- n-ary function

- nearly continuous function
- negative definite function - negative infinite function
- negligible function

- never-decreasing function

- never-increasing function

- next-state function

- nice function

- n-linear function

- n-metacaloric function

- noise function

- nomographic function

- nonanalytic function

- nonanticipative random function

- nonatomic function

- nonbounded function

- nonconstant function

- nondecreasing function

- nondegenerate function

- nondifferentiable function

- nonelementary function

- nonharmonizable function

- nonincreasing function

- noniterated function

- nonlattice function

- nonmonotonic function

- nonnegative definite function

- nonnegative function

- nonpositive function

- nonrandom function

- nonrecursive function

- nonsymmetrical density function
- nontangentially bounded function
- nontrivial function

- nonvanishing function

- norm function

- normalizable function

- normalized coherence function
- normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function
- n-place function

- n-point function

- n-th order function
- n-times differentiable function - n-tuply periodic function
- null function

- number-theoretical function

- numeralwise decidable function
- numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function
- observation function

- odd function

- omega function

- one-loop function

- one-parameter function

- one-periodic function

- one-place function

- one-sheeted function

- one-sided function

- one-step function

- one-valued function

- one-variable function

- open propositional function
- operating characteristic function
- operative function

- operator function

- optimal decision function
- optimal policy function
- optimizable function

- optimized function

- order function

- order of function

- order preserving function

- orderable function

- ordered function

- ordering function

- ordinal function

- orientation function

- original function

- orthonormal function

- oscillating function

- oscillatory function

- outcome function

- outer function

- p-adic function

- pair correlation function

- pairing function

- parabolical cylinder function
- parametrically definable function
- parametrization function

- parametrized function

- partially computable function

- partially differentiable function

- partially recursive function
- partially symmetric function
- partition function

- partition preserving function

- partitionable function

- patch function

- pattern function

- peaked function

- peakless function

- Pearcey function

- penalty function

- pentagamma function

- permanent function

- perturbation function

- phase function

- phi function

- picture function

- piecewise analytic function
- piecewise constant function - piecewise continuously differentiable function
- piecewise continuously differentiable function

- piecewise expanding function
- piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function
- plotted function

- pluriharmonic function

- plurisubharmonic function

- plurisublinear function

- plurisuperharmonic function

- point spread function
- pointwise approximated function
- pointwise bounded function

- pointwise discontinuous function

- policy function

- polyanalytic function

- polydromic function

- polygamma function

- polygenic function

- polygonal function

- polyhedral function

- polymorphic function

- polynomial clutching function

- polynomial function

- polynomially bounded function

- portfolio function

- posinomial function

- positive definite function
- positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function
- predetermined function

- predicate function

- predicate preserving function

- predual function

- premeromorphic function

- prescribed function

- primal function

- primary function

- prime-divisor function

- primitively recursive function

- principal function

- probability density function
- probability generating function
- process function

- product function

- production function

- productive function

- profit function

- projection function

- projective function

- propagation function

- proximally continuous function

- proximity function

- pseudoanalytic function

- pseudoconcave function

- pseudoconjugate function

- pseudoconvex function

- pseudodifferentiable function

- pseudoelliptic function

- pseudoharmonic function

- pseudohyperanalytic function

- pseudolikelihood function

- pseudolinear function

- pseudoperiodic function

- pseudopotential function

- pseudoproper function

- pseudorandom function

- pure quadratic function

- quadratic function

- quadratically integrable function
- quadratically summable function
- quantile function

- quasiaffine function

- quasialgebraic function

- quasianalytic function

- quasibounded function

- quasiconcave function

- quasiconformal function

- quasicontinuous function

- quasiconvex function

- quasidifferentiable function

- quasidoubly periodic function

- quasielliptic function

- quasiexcessive function

- quasiexponential function

- quasiharmonic function

- quasihomogeneous function

- quasiinterpolating function

- quasimonotonic function

- quasiperiodic function

- quasipolynomial function

- quasiradial function

- quasirecursive function

- quasiseparable function

- quasismooth function

- quasistandard function

- quasistar function

- quasisummation function

- quasiuniformly continuous function

- quasiunimodal function

- quaternion function

- radially symmetric function

- ramification function

- ramified function

- randomized decision function
- rapidly damped function - rapidly decreasing function - rapidly oscillatory function
- ray function

- Rayleigh dissipation function

- real-definite function

- real-valued function

- recession function

- reciprocal function

- recover function

- rectangle function

- recursively calculable function
- recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function
- reduced function

- regression function

- regret function

- regularized function

- regularly varying function

- regulated function

- relation reserving function
- relative distribution function - relative frequency function
- remuneration function

- renewal function

- renormalized function

- repeatedly differentiable function

- representable function

- representative function
- representing function - reproducing kernel function - residual function - residue function
- resolutive function

- resolvent function

- restricted function

- restricting function

- retarded function

- retracting function

- ridge function

- Riemann zeta function

- right-continuous function

- right-invariant function

- roof function

- root-mean-square function

- rudimentary function

- ruin function

- ruled function

- saddle function

- saltus function

- sample distribution function

- sampling function

- sandwich function

- scalar analytical function
- scalarwise integrable function - scalarwise measurable function
- scedastic function

- scheme function

- schlicht function

- search function

- section of function

- sectionally continuous function
- sectionally smooth function
- selective function

- self-dual function

- self-indexing function

- self-reciprocal function

- semiarithmetical function

- semicoercive function

- semicontinuous function

- semicylindrical function

- semidefinite function

- semiintegrable function

- semiinvariant function

- semimodular function

- semimultiplicative function

- semiproductive function

- semispectral function

- semisymmetric function

- sentential function

- separably valued function

- separately continuous function

- separation function

- sequence function

- sequential function

- sequentially continuous function

- set-preserving function

- set-valued function

- shape function

- sharp function

- shifted function

- sifting function

- sigma function

- signaling function

- simple function

- simply measurable function
- simply periodic function
- single-humped function

- singly periodic function
- singly recursive function
- singular function

- singularity function

- sinusoidal function

- skew-symmetric function

- slowly decreasing function
- slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function
- source function

- sourcewise representable function

- space-dependent function

- space-time function

- spannable function

- spheroidal function

- spinor-valued function

- spline function

- square-integrable function

- square-sine function

- square-summable function

- stability function

- stable function

- starlike function

- star-shaped function

- stationary random function

- statistical function

- status function

- steadily decreasing function
- steadily increasing function
- stiff function

- stochastic function

- stochastic transition function
- stopped random function
- straight-line function

- stream function

- streamline function

- strength function

- stretch function

- strictly concave function
- strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function
- stroke function

- strongly continuous function
- strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function
- structure function

- subadditive function

- subdifferentiable function

- subintegral function

- subinvariant function

- submultiplicative function

- suboperative function

- suboptimized function

- subordinated function

- subparabolic function

- subregular function

- success function

- sufficiently differentiable function

- sum function

- summatory function

- superadditive function

- supercaloric function

- supercontinuous function

- supermedian function

- supermultiplicative function

- superparabolic function

- superregular function

- surface function

- surjective function

- switching function

- symbolic function

- symmetrizable function

- symmetrized function

- tabulated function

- tame function

- tangential function

- target function

- temperate function

- temperature function

- tempered function

- tensor function

- ternary function

- tesseral function

- tetrachoric function

- tetragamma function

- time-limited function

- time-varying function

- tissue function

- toroidal function

- torus function

- total function

- total recursive function
- totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function
- totient function

- tower function

- trace function

- transferable function

- transfinite function

- transformation function

- transition probability function

- translation function

- translation invariant function

- transmission function

- trapezoidal function

- trend function

- trial function

- triangle function
- triangular function
- tribeta function

- trigamma function

- trilinear function

- true function

- truncated function

- truncation function

- twice differentiable function

- twistor function

- two-parameter function

- two-place function

- two-point function

- two-sided function

- typically real function

- ultradifferentiable function

- ultraspherical function

- unbounded function

- uncertainty function

- uncomputable function

- unconditionally summable function

- unconstrained function

- undecomposable function

- undefined function

- uneven function

- uniform function

- uniformizing function

- uniformly approximable function
- uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function
- unimodular function

- uniquely nomographic function

- unisolvent function

- unit function

- unit impulse function
- unit step function - unitary divisor function
- univalent function

- univariate function

- universally measurable function

- unknown function

- unramified function

- upper closed function
- upper measurable function - upper semicontinuous function
- valuation function

- vector-valued function

- vertex function

- voting function

- weakly additive function
- weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random function
- well-behaved function

- well-integrable function

- window function

- wrapping function

- wurzelfrei function

- zero function

- zonal spherical function

English-Russian scientific dictionary > function
6 formula

1) рецепт

2) формула || формульный

3) формулировка

•

to follow the formula — подчиняться [следовать] формуле; описываться формулой

- absolute formula

- absorbing formula

- adjunction formula

- analytic formula

- arithmetic formula

- arithmetically provable formula
- arithmetically valid formula
- associativity formula

- asymptotic expansion formula
- back interpolation formula
- base formula

- bilinear formula

- binomial formula

- boundable formula

- central difference formula

- chain formula

- characteristic formula

- circular formula

- class formula

- classical formula

- class-number formula

- closed formula

- closedness formula

- coboundary formula

- collection formula

- combinatorial formula

- combined formula

- compatible formula

- complete formula

- compositional formula

- compound formula

- compound interest formula
- computational formula - computing formula
- conditional formula

- conditionally filtering formula

- consistent formula

- constructive formula

- continuation formula

- contraction formula

- contradictory formula

- control formula

- conversion formula

- corollary formula

- correct formula

- correction formula
- corrector formula
- correlation formula

- cut formula

- decidable formula

- decomposable formula

- decomposition formula

- deducible formula

- definitory formula

- derivable formula

- derivation formula

- describing formula

- diagonal formula

- difference formula

- differentiation formula

- disprovable formula

- distance formula

- distribution formula

- dual formula

- dual-symmetric formula

- effectively true formula

- elementary formula

- empty formula

- end formula

- estimation formula

- evaluation formula

- even-numbered formula

- exact formula

- existential formula

- explicit formula

- explicitly definable formula

- exponential formula

- extrapolation formula

- false formula

- filtered formula

- final formula

- first resolvent formula
- formally decidable formula - formally refutable formula - formula of finite increments
- formula of inversion

- formula of signature

- formula of total probability

- formula of traces

- free formula

- Fresnel's formula

- fully symmetric formula

- functional formula

- Gauss formula

- general formula

- general recursively true formula

- generalized formula

- generalizing formula

- geometrically provable formula
- geometrically valid formula
- global formula

- goniometric formula

- graphic formula

- Griem's formula

- grotesque formula

- Hardy-Weinberg equilibrium formula
- homomorphically stable formula - identically false formula - identically true formula
- implicit formula

- implicitly definable formula

- incomplete formula

- inconsistent formula

- incorrect formula

- indecomposable formula

- induction formula

- infinitary formula

- intuitionistically derivable formula
- intuitionistically valid formula
- invalid formula

- invariant formula

- inverse formula

- isolated formula

- iterative formula

- jointly satisfiable formulas

- Khintchine-Pollaczek formula

- kinematic formula

- krakowian formula

- least squares formula

- limiting formula

- listing formula

- logical formula

- logically determinate formula
- logically valid formula - maximum likelihood formula
- metalinguistic formula

- mix formula

- mixing formula

- modal formula

- modally derivable formula
- modally valid formula
- modified formula

- monotonically decreasing formula
- monotonically increasing formula
- multinomial formula

- multiplicatively stable formula

- negative formula

- neutral formula

- Newton's interpolation formula

- normative formula

- number-theoretic formula

- numeralwise decidable formula
- numeralwise expressible formula - numeralwise representable formula
- numerical formula

- open formula

- optimal formula

- perturbation formula

- Planck radiation formula

- polarization formula

- polynomial formula

- poor formula

- positive formula

- positively derivable formula
- positively valid formula
- postulation formula

- predicate letter formula

- predicative formula

- prediction formula

- prenex formula

- primitive formula

- primitively conditional formula
- primitively recursive formula
- principal formula

- prismatoid formula

- propositional formula

- purely analytic formula

- quadrangle formula

- quantifier-free formula

- quasiatomic formula

- ranked formula

- realizable formula

- reciprocation formula
- reciprocity formula
- recurrent formula

- recursion formula

- regression formula

- residue formula

- restricted formula

- reverse formula

- rudimentary formula

- satisfiable formula

- secondarily satisfiable formula
- secondarily valid formula
- semiempirical formula

- sequential formula

- set-theoretical formula

- shrewd formula

- side formula

- sieve formula

- simple interest formula

- simplified formula

- smoothing formula

- snap formula

- spherical product formula
- square stable formula
- squared formula

- subtraction formula

- symmetrical formula

- symmetrical interpolation formula

- tabulated formula

- terminal formula

- testing formula

- topological formula

- transfinite formula

- true formula

- truncated formula

- two-level formula

- unary formula

- undecidable formula

- underivable formula

- universal formula

- universally existential formula
- universally valid formula
- unprovable formula

- unreliazable formula

- unsatisfiable formula

- untestable formula

- verifiable formula

English-Russian scientific dictionary > formula

См. также в других словарях:

Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
Μ-recursive function — In mathematical logic and computer science, the μ recursive functions are a class of partial functions from natural numbers to natural numbers which are computable in an intuitive sense. In fact, in computability theory it is shown that the μ… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… … Wikipedia
Decidability (logic) — In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their… … Wikipedia
Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… … Wikipedia

Словари и энциклопедии на Академике

Перевод: со всех языков на русский

effectively decidable predicate

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: со всех языков на русский

effectively decidable predicate

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: